Propositional formula - PDFSEARCH.IO - Document Search Engine

Propositional formula
Results: 133

#	Item
101	Consequence Finding in ALC Meghyn Bienvenu IRIT, Universit´e Paul Sabatier Toulouse, France [removed] Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Non-classical logic Propositional calculus Boolean algebra Philosophical logic Modal logic Prime number Description logic Function Propositional formula Logic Mathematical logic Mathematics
102	Preferential Logics: the Predicate Calculus case (extended abstract) Add to Reading List Source URL: www.tark.org Language: English - Date: 2011-10-23 10:31:56 Non-classical logic Logical syntax Predicate logic Logic programming Default logic First-order logic Function Entailment Propositional formula Logic Mathematical logic Propositional calculus
103	Model Checking Games for Branching Time Logics Martin Lange and Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-05-20 09:55:06 Logical syntax Metalogic Mathematical logic Propositional calculus Interpretation Well-formed formula Entailment Symbol Partition Logic Mathematics Formal languages
104	Focus Games for Satisfiability and Completeness of Temporal Logic Martin Lange Colin Stirling LFCS, Division of Informatics, University of Edinburgh, JCMB, King’s Buildings, Edinburgh, EH9 3JZ {martin,cps}@dcs.ed.ac.uk Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-05-20 09:57:33 Formal languages Logical syntax Linear temporal logic Temporal logic Interpretation Entailment Substitution Model theory Well-formed formula Logic Metalogic Propositional calculus
105	Description Logics Using First Order Logic Add to Reading List Source URL: www.inf.unibz.it Language: English - Date: 2011-09-08 09:53:47 Metalogic Logical syntax Propositional calculus First-order logic Interpretation Satisfiability Well-formed formula Linear temporal logic Entailment Logic Model theory Formal languages
106	Description Logics Foundations of First Order Logic Add to Reading List Source URL: www.inf.unibz.it Language: English - Date: 2011-09-08 09:53:47 Formal languages Propositional calculus Logical syntax Interpretation First-order logic Well-formed formula Proposition Logical connective Function Logic Mathematical logic Predicate logic
107	Chapter 1 Digital Logic Add to Reading List Source URL: www.cs.indiana.edu Language: English - Date: 2006-08-27 15:19:16 Abstract algebra Propositional calculus Algebraic logic Logical connectives Semantics Truth table Logic gate Negation Propositional formula Mathematics Mathematical logic Boolean algebra
108	Circular Logic for Computational Semantics Dr. Axel Arturo Barceló Aspeitia Instituto de Investigaciones Filosóficas Add to Reading List Source URL: www.filosoficas.unam.mx Language: English - Date: 2013-02-18 15:25:56 Metalogic Propositional calculus Mathematical logic Well-formed formula Interpretation Entailment First-order logic Tautology Expression Logic Logical syntax Formal languages
109	Clause Form Conversions for Boolean Circuits Paul Jackson and Daniel Sheridan School of Informatics, Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2005-05-20 12:27:00 Logic Boolean algebra Propositional formula IP 2-satisfiability Theoretical computer science Computational complexity theory Conjunctive normal form
110	From editor This issue presents proceedings of the workshop “30 Years of Mizar”1 held in September Add to Reading List Source URL: markun.cs.shinshu-u.ac.jp Language: English - Date: 2005-10-19 00:07:07 Propositional calculus Formal languages Quantification Predicate logic Natural deduction Andrzej Trybulec Mizar system Well-formed formula Function Logic Mathematical logic Mathematics

UPDATE